Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Книжкові видання та компакт-диски (2) | Реферативна база даних (10) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>A=Федосеева А$<.>) | |||
|
Загальна кількість знайдених документів : 8 Представлено документи з 1 до 8 |
|||
| 1. | 
Федосеева А. А. Курс лабораторных работ "Информационные системы и технологии в логистике" для дистанционного обучения студентов фармацевтических специальностей [Електронний ресурс] / А. А. Федосеева, Ю. М. Пенкин // Запорожский медицинский журнал. - 2012. - № 6. - С. 133. - Режим доступу: http://nbuv.gov.ua/UJRN/Zmzh_2012_6_59 | ||
| 2. | 
Федосеева А. А. Модель производства лекарственных препаратов с использованием теоретико-множественного описания и временных сетей Петри [Електронний ресурс] / А. А. Федосеева // Радіоелектронні і комп’ютерні системи. - 2012. - № 6. - С. 224–228. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2012_6_42 Предложена теоретико-множественная модель "лекарственное сырье - лекарственный препарат" с учетом специфики фармацевтической отрасли, рассмотрены базовые элементы, их отношения и свойства; предложена временная сеть Петри, моделирующая процесс производства таблеток "Лоратадин, 10мг" на фармацевтическом предприятии. С помощью предложенных моделей решена задача формализации представления всех компонентов и процесса производства лекарственных препаратов, что ляжет в основу последующих моделей и в дальнейшем сможет позволить оптимизировать использование ресурсов на фармацевтическом предприятии. | ||
| 3. |
Федосеева А. А. Представление технологического процесса производства таблетированных лекарственных препаратов с помощью блок-схем и временных сетей Петри [Електронний ресурс] / А. А. Федосеева // Радіоелектронні і комп’ютерні системи. - 2013. - № 5. - С. 385–389. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2013_5_65 Рассмотрены блок-схемы основных методов производства таблетированных лекарственных препаратов: производство таблеток методом прямого прессования, изготовление твердых желатиновых капсул, таблеток, покрытых оболочкой, таблеток методом прессования с предварительным влажным гранулированием; предложены временные сети Петри, моделирующие технологический процесс производства таблетированных лекарственных препаратов; построена обобщенная блок-схема и временная сеть Петри, моделирующая технологический процесс производства таблетированных лекарственных препаратов. | ||
| 4. |
Федосеева А. А. Инфологическая модель "лекарственное сырье - лекарственный препарат" для фармацевтических предприятий на основе ER-диаграмм [Електронний ресурс] / А. А. Федосеева // Радіоелектронні і комп’ютерні системи. - 2010. - № 6. - С. 47–52. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_6_9 Рассмотрены особенности проектирования информационных систем (ИС) для фармацевтических предприятий (ФП). Проведен анализ существующих ИС ФП, принципов их разработки. Выявлены информационные объекты и их свойства, а также установлены связи между ними, характерные для производства ЛС. Предложена инфологическая модель "лекарственное сырье - лекарственный препарат", с учетом специфики фармацевтической отрасли, включая все многообразие составляющих компонентов. Выбран метод ER-диаграмм, что позволяет структурировать информацию о лекарственном сырье, и обеспечивает наглядность реализуемой модели. | ||
| 5. | 
Федосеева А. А. Использование Safety-Case документа для оценки и гарантирования безопасности программных средств и информационных технологий на фармацевтическом предприятии [Електронний ресурс] / А. А. Федосеева // Актуальні питання фармацевтичної і медичної науки та практики. - 2014. - № 1. - С. 112-113. - Режим доступу: http://nbuv.gov.ua/UJRN/apfimntp_2014_1_37 Рассмотрена Safety-Case методология обеспечения и доказательства безопасности автоматизированной системы управления технологического процесса (АСУТП) производства лекарственных препаратов (ЛП), предложены типовые пункты Safety-Case документа в качестве доказательства функциональной безопасности АСУТП производства ЛП, используемой на фармацевтическом предприятии. | ||
| 6. |
Федосеева А. А. Оценка требований к программному обеспечению фармацевтического предприятия на основе Safety-Case методологии [Електронний ресурс] / А. А. Федосеева // Радіоелектронні і комп’ютерні системи. - 2014. - № 6. - С. 43-47. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2014_6_10 Рассмотрены требования к программному обеспечению (ПО) на фармацевтическом предприятии: к структуре ПО и его элементам, процессу разработки ПО, валидации, верификации, диагностированию, а также к защите данных и обеспечению доступа к данным; прованализированы существующие подходы к оценке качества и безопасности ИУСКП; предложена иерархическая модель требований к ПО; проанализированы характеристики ПО и выявлены метрики, позволяющие оценить требования к нему: безопасность, эффективность, продуктивность, функциональность, удовлетворимость потребностей; предложена модель качества в использовании для ПО на фармацевтическом предприятии. | ||
| 7. |
Федосеева А. А. Case-ориентированная оценка качества и безопасности программного обеспечения технологического процесса производства лекарственных средств на фармацевтическом предприятии [Електронний ресурс] / А. А. Федосеева // Радіоелектронні і комп’ютерні системи. - 2016. - № 5. - С. 59–63. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2016_5_11 Предложена информационная технология оценки качества и безопасности программного обеспечения технологического процесса производства лекарственных препаратов на фармацевтическом предприятии на основе предложенной методики оценивания и Safety-Case методологии. Рассмотрена структура и основные этапы использования информационной технологии, особенности интерфейса, разработаны инструментальные средства для ее поддержки, описаны основные функции, расчетные показатели, визуализированы результаты проведенной оценки. | ||
| 8. |
Пенкин Ю. М. Структурные конечные автоматы в виде тензоров третьего ранга типа Судоку [Електронний ресурс] / Ю. М. Пенкин, А. А. Федосеева // Радіоелектронні і комп’ютерні системи. - 2019. - № 4. - С. 79–87. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2019_4_11 Представлены концепция построения и общие принципы работы конечных автоматов нового вида, для которых входными и выходными элементами являются панели квадратных матриц, а переходы между их состояниями определяются числовыми тензорами третьего ранга. При этом структура тензоров задается в виде кубических сеток, в ячейках которых расположены натуральные числа согласно принципу построения Судоку. Указан алгоритм построения таких тензоров произвольного размера. Структуры тензоров, построенных при использовании ранжированных множеств натуральных чисел, определены как стандартные. Показано, что возможность определения тензоров типа Судоку с помощью одного размерного параметра является базовой для проявления их функционального самоподобия. Свойство аддитивного сохранения структуры численных тензоров третьего ранга к требованиям Судоку сформулировано в виде теоремы. Доказано, что тензор, полученный в результате суммирования произвольной тензорной структуры и константы с учетом введенного правила циклического ранжирования, удовлетворяет общим требованиям Судоку. Рассмотрены задачи абстрактного и структурного синтезов конечных автоматов на базе анализируемых тензорных структур. При этом задача абстрактного синтеза традиционно определялась как создание математической модели автомата, а задача структурного синтеза - как разработка его функциональной логической схемы. На основании многозначности функции выхода конечного автомата обоснована возможность одновременного использования нескольких различных выходных алфавитов. Описаны режимы функционирования минимального конечного автомата предложенного типа на примере инициального автомата с выделенным стандартным начальным состоянием. В общем случае показано, что конечные автоматы, заданные на группе указанных требований, можно отнести к обобщенным конечным автоматам первого рода (или автоматам Mealy) с многозначным выходом. Представлены особенности сетевых применений структурных автоматов. Проанализированы варианты возможных приложений рассмотренных конечных автоматов.Представлены концепция построения и общие принципы работы конечных автоматов нового вида, для которых входными и выходными элементами являются панели квадратных матриц, а переходы между их состояниями определяются числовыми тензорами третьего ранга. При этом структура тензоров задается в виде кубических сеток, в ячейках которых расположены натуральные числа согласно принципу построения Судоку. Указан алгоритм построения таких тензоров произвольного размера. Структуры тензоров, построенных при использовании ранжированных множеств натуральных чисел, определены как стандартные. Показано, что возможность определения тензоров типа Судоку с помощью одного размерного параметра является базовой для проявления их функционального самоподобия. Свойство аддитивного сохранения структуры численных тензоров третьего ранга к требованиям Судоку сформулировано в виде теоремы. Доказано, что тензор, полученный в результате суммирования произвольной тензорной структуры и константы с учетом введенного правила циклического ранжирования, удовлетворяет общим требованиям Судоку. Рассмотрены задачи абстрактного и структурного синтезов конечных автоматов на базе анализируемых тензорных структур. При этом задача абстрактного синтеза традиционно определялась как создание математической модели автомата, а задача структурного синтеза - как разработка его функциональной логической схемы. На основании многозначности функции выхода конечного автомата обоснована возможность одновременного использования нескольких различных выходных алфавитов. Описаны режимы функционирования минимального конечного автомата предложенного типа на примере инициального автомата с выделенным стандартным начальным состоянием. В общем случае показано, что конечные автоматы, заданные на группе указанных требований, можно отнести к обобщенным конечным автоматам первого рода (или автоматам Mealy) с многозначным выходом. Представлены особенности сетевых применений структурных автоматов. Проанализированы варианты возможных приложений рассмотренных конечных автоматов. | ||
Попередній перегляд: 
Реферативна БД
 |
| Відділ наукової організації електронних інформаційних ресурсів |
 Пам`ятка користувача |